Electronic Design

Results: 7388



#Item
951Parallel computing / Electronics / Computer architecture / High-performance reconfigurable computing / Systolic array / Data stream / Programming paradigm / Multi-core processor / John von Neumann / Computing / Reconfigurable computing / Electronic engineering

SDPS Journal http://hartenstein.de/SDPS/SDPSjournal.html Transactions of the SDPS: Integrated Design & Process Science

Add to Reading List

Source URL: hartenstein.de

Language: English - Date: 2007-10-05 01:53:45
952Electronic commerce / Money / Web design / Mobile payments / Mission District /  San Francisco /  California / Wix.com / PayPal / Subscription business model / World Wide Web / Payment systems / Business

Contacts: Shweta Agarwal/Nina Korfias   Schwartz MSL   (   Wix.com Relies on BlueSnap™ to Power its Recurring Subscription-based Payment Model

Add to Reading List

Source URL: home.bluesnap.com

Language: English - Date: 2014-04-02 03:34:07
953Formal methods / Logic in computer science / Electronic design automation / Constraint programming / Satisfiability Modulo Theories / Reasoning system / Formal verification / Solver / Algorithm / Theoretical computer science / Applied mathematics / Mathematics

SATISFIABILITY-BASED PROGRAM REASONING AND PROGRAM SYNTHESIS by Saurabh Srivastava 1 Revised

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2010-10-26 18:47:17
954Logic in computer science / Metalogic / Electronic design automation / NP-complete problems / Satisfiability Modulo Theories / Model theory / Formal verification / Extended static checking / Model checking / Theoretical computer science / Formal methods / Applied mathematics

Z310 : Applications, Enablers, Challenges and Directions Nikolaj Bjørner and Leonardo de Moura Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA {nbjorner,leonardo}@microsoft.com

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2009-07-21 19:10:53
955Technology / Computer network / Telecommunications network / Adaptive routing / Electronics / Software companies of India / Tata Group / Tata Consultancy Services / Tata Research Development and Design Centre / Telecommunications engineering / Electronic engineering / Routing

Microsoft Word - ijita12-3.doc

Add to Reading List

Source URL: www.foibg.com

Language: English - Date: 2015-02-02 08:42:07
956Consumer behaviour / Customer engagement / Communication design / Graphic design / Online shopping / Brand / Design / Marketing / Electronic commerce / Business

Sweatty Betty Case StudyOK

Add to Reading List

Source URL: amplience.com

Language: English - Date: 2015-04-02 05:26:23
957Signal processing filter / Electronic design / Analog circuits / Linear filters / Electronic filter / Neutral density filter / Photographic filter / Filter / Electronic engineering / Optical filters / Electronics

Mo t o rize d F i l t er W h eel s High Speed Filter Wheel System Features Visible filter position numbers for both

Add to Reading List

Source URL: diaginc.com

Language: English - Date: 2012-09-12 12:22:48
958Electronic design automation / Formal methods / Logic in computer science / NP-complete problems / Constraint programming / Satisfiability Modulo Theories / First-order logic / Alloy / Tree / Theoretical computer science / Mathematical logic / Applied mathematics

Alloy*: A Higher-Order Relational Constraint Solver Aleksandar Milicevic Joseph P. Near Eunsuk Kang

Add to Reading List

Source URL: people.csail.mit.edu

Language: English - Date: 2014-09-09 16:16:23
959Electromagnetism / Digital electronics / Computer memory / Clock skew / Electrical circuits / Flip-flop / Clock / Asynchronous circuit / Metastability in electronics / Clock signal / Electronic engineering / Electronics

EE 432 Advanced Digital Design with HDL Spring 2013 Week 6 Lecture Topic and Reading Assignment for today The subject for the evening is clocks and timing. We will look at the clock generating capabilities of the Xilinx

Add to Reading List

Source URL: www.almy.us

Language: English - Date: 2013-03-27 19:27:13
960Knowledge / Open access / Technical communication / Electronic publishing / Open access journal / Directory of Open Access Journals / Self-archiving / Academic journal / Public Library of Science / Publishing / Academic publishing / Academia

Open Access Publishing in Aerospace – Opportunities and Pitfalls D. Scholz Aircraft Design and Systems Group (AERO), Hamburg University of Applied Sciences, Germany

Add to Reading List

Source URL: www.fzt.haw-hamburg.de

Language: English - Date: 2013-10-03 05:50:32
UPDATE